Видео с ютуба The Coq

Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум

Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум

The Coq Proof Assistant: коротко, по-русски

Efrem Zimbalist - Concert Fantasy on Rimsky-Korsakov's Opera 'Le Coq d'or'

[651] Манипуляции с моим крошечным «Le Coq» (Видео на 1 апреля)

Zimbalist: Concert Phantasy on Rimsky-Korsakov's "Le Coq d'Or" - Andrei Korsakov, Yuri Simonov

Coq au Vin (French chicken stew in red wine sauce)

Рецепт петуха в вине — классическая французская кухня

Этот петух в вине решит исход дела | С Бабишем

Renault Twingo Le Coq Sportif - Modo

Зачем добавлять шоколад и анчоусы к петуху? 🍷 Секрет идеального Coq Au Vin 👨‍🍳🐓

4. Интерактивное доказательство теорем в системе Coq

LE COQ SPORTIF RETRO RUNNING

Как шеф-повар готовит настоящий петух в вине дома

Александр Чичигин (Haskell-программист): Как перестать бояться и полюбить COQ

RIMSKY-KORSAKOV: Concert Fantasy on Le Coq d'Or | Antal Zalai, violin

Coq-практикум 04.09.2021

Rock around the coq